persistence of types

型的永续性